Verbes spécialisés et perspective diachronique : une analyse de quelques formes du <i>Dictionnaire</i> de Félibien

Contribution à l'étude de quelques parasites du sang du mouton et de la chèvre en Iran et dans les pays voisins

Formes symboliques et émergence de valeurs. Pour une cognition culturalisée

Sur une souche de Pasteurella agent d'abcès enzootiques du lapin

Theoreme De Donsker Et Formes De Dirichlet

We use the language of errors to handle local Dirichlet forms with squared field operator (cf [2]). Let us consider, under the hypotheses of Donsker theorem, a random walk converging weakly to a Brownian motion. If, in addition, the random walk is supposed to be erroneous, the convergence occurs in the sense of Dirichlet forms and induces the Ornstein-Uhlenbeck structure on the Wiener space. Th...

Différentiation automatique et formes de Taylor en analyse statique de programmes numériques

Résumé Des travaux récents sur l’analyse statique de programmes numériques ont montré que les techniques d’interprétation abstraite étaient adaptées à la validation de la précision des calculs en arithmétique flottante. L’utilisation des intervalles comme domaine numérique, même avec des méthodes de subdivision, induit une sur-approximation des résultats en particulier par l’existence de l’effe...